$\forall$$r$:Rng, $n$:$\mathbb{N}$, $u$:$\mid$$r$$\mid$. ($u$ $\uparrow$$r$ $n$) $\in$ $\mid$$r$$\mid$